Visits of International Scientists

A. Díaz-Caro (Universidad Nacional de Quilmes, Argentina) visited Deducteam 3 weeks.

Visits to International Teams

Research Stays Abroad

F. Thiré has visited the Computation and Logic Group at McGill University for three months.

G. Dowek has visited the university of Quilmes in Buenos Aires for two weeks.

G. Dowek has visited the Pontifical University at Rio for three weeks.